_Bool var_4 = 1;
_Bool var_13 = 0;

int main(){
    var_13 = ((unsigned int) ((((_Bool) ((~((int) var_4)) & (~(((int) (_Bool)1)))))) || (((_Bool) ((~(((int) var_4))) & ((int) (_Bool)1))))));
    if (var_13 != 1)
    {
        __builtin_abort();
    }
}
